121. Realistic compiler generation
Author: Lee, Peter
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Compilers )Computer programs(,، Programming languages )Electronic computers(--Semantics
Classification :
QA
76
.
76
.
C65
.
L44
1989
122. Reliable software technologies, Ada-Europe '96 :
Author: Alfred Strohmeier, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
Classification :
QA76
.
73
.
A16
A447
1996
123. Runtime Verification
Author: edited by Sarfraz Khurshid, Koushik Sen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
124. Scalable uncertainty management :
Author: Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
Classification :
Q375
125. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980
Author: edited by Neil D. Jones
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
94
126. Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980
Author: edited by Neil D. Jones
Library: Central Library and Documentation Center (Kerman)
Subject: ، Compilers )Computer programs(,، Programming languages )Electronic computers( - Semantics
Classification :
QA
1
.
L4
v
.
94
127. Software Composition
Author: edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
128. Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings
Author: Andreas Krall )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Programming -- Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
2826
129. Software build systems. principles and experience
Author: Smith, Peter
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Compilers )Computer programs(,، Programming software,، Self-adaptive software,، Application software- Development- Computer programs
Classification :
QA
76
.
76
.
C65
S65
2011
130. Software engineering and formal methods :
Author: Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.
Classification :
QA76
.
758
.
I58
2011
131. Software engineering, business continuity, and education :
Author: Tai-hoon Kim...[et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business-- Data processing, Congresses.,Data recovery (Computer science), Congresses.,Management information systems, Congresses.,Software engineering, Congresses.
Classification :
QA76
.
758
.
A84
2011
132. Structure and interpretation of computer programs /
Author: Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming,LISP (Computer program language)
Classification :
QA76
.
6
.
A255
1996
133. Supercompilers for parallel and vector computers
Author: Zima, Hans
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Supercomputers- Programming,، Compilers )Computer programs(,، Parallel processing )Electronic computers(,، Vector processing )Computer science(
Classification :
QA
76
.
6
.
Z554
1991
134. Supercompilers for parallel and vector computers
Author: Zima, Hans
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Supercomputers- programming ► Compilers (Computer programs) ► Parallel processing (Electronic computers) ► Vector processing (Computer Science)
Classification :
004
Z71s
135. Supercompilers for parallel and vector computers
Author: Hans Zima, Barbara Chapman
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Programming ، Supercomputers,، Compilers )Computer programs(,، Parallel processing )Electronic computers(,، Vector processing )Computer science(
Classification :
QA
76
.
6
.
Z55S9
136. Synchronous Programming of Reactive Systems
Author: by Nicolas Halbwachs.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information theory.,Operating systems (Computers),Software engineering.
137. Systems programming in Unix/Linux /
Author: K.C. Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)
Classification :
QA76
.
76
.
O63
W36
2018
138. Teach yourself C in 21 day
Author: / [electronic resource]
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: C (Computer program language)- Study and teaching Software,Compilers (Computer programs) Software
Classification :
QA76
.
73
.
C15
139. Tests and Proofs
Author: edited by Achim D. Brucker, Jacques Julliand
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
140. The Design of an optimizing compiler
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Compilers )Computer programs(
Classification :
QA
76
.
6
.
D47
